- выведенный по индукции
- induced
Русско-английский научно-технический словарь Масловского. 2015.
Русско-английский научно-технический словарь Масловского. 2015.
ФЕХНЕР — (Fechner) Густав Теодор (19.4.1801, Грос Зерхен, близ Мускау, 18.11.1887, Лейпциг), нем. физик, исихолог, философ идеалист, писатель сатирик (выступал под именем доктора Мизеса). Проф. физики Лейпцигского университета (1834 40); из за… … Философская энциклопедия
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Магнетизм — 1) Свойства магнитов. Наиболее характерное магнитное явление притяжение магнитом кусков железа известно со времен глубокой древности. Однако в Европе вплоть до XII столетия наблюдали это явление лишь с естественными магнитами, т. е. с кусками… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
Обсессивно-компульсивное расстройство — Частое мытье рук распространённое навязчивое действие … Википедия
Важнейшие открытия в физике — История технологий По периодам и регионам: Неолитическая революция Древние технологии Египта Наука и технологии древней Индии Наука и технологии древнего Китая Технологии Древней Греции Технологии Древнего Рима Технологии исламского мира… … Википедия